Transition systems and modal logic The linear time temporal logic LTL Branching time temporal logics

Source URL: hylocore.ruc.dk

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Lecture Notes on Concurrent Monadic Computations: Linear Logic Frank Pfenning Lecture 22 April 11, 2012

Source URL: www.cs.cmu.edu

Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang Preprint: 20 Feb 2009 Abstract We describe how Intuitionistic Linear Logic can be used to provide a unified logical account

Source URL: dream.inf.ed.ac.uk

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

Source URL: homepages.inf.ed.ac.uk

Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation

Source URL: homepages.inf.ed.ac.uk

Lecture Notes on Deductive Inference Course on Linear Logic Oregon Programming Languages Summer School 2013 Frank Pfenning Lecture 1

Source URL: www.cs.uoregon.edu

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

Source URL: www-vvps09.imag.fr

: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and

Source URL: www2.docm.mmu.ac.uk